graph theory:girth